منابع مشابه
Inexact Knowledge with Introspection
Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidean. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We present a new semantics for modal logic which is shown to be comple...
متن کاملA non-standard Semantics for Inexact Knowledge with Introspection
Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidian. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We state a non-standard semantics for modal logic which is shown to be...
متن کاملSelf-Knowledge, Introspection and Memory
Self-knowledge (S-K) has a variety of dimensions and philosophers have proposed, and continue to propose, a host of different methods to explore or to establish the principles of a very particular form of knowledge such as this. What is quite impressive in the philosophical literature (by which I mean not only that of analytical inspiration but also that of the so-called continental philosophy)...
متن کاملA Tractable Knowledge Representation Service with Full Introspection
A Knowledge Representation service for a knowledge-based system (or agent) can be viewed as providing, at the very least, two operations that (a) give precise information about what is and is not believed (ASg) and (b) add new facts to the knowledge base when they become available (TELL). An appropriate model of belief for such operations should support the notion that only certain facts are be...
متن کاملDecidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they know and do not know. An important area of research is to devise models of introspective reasoning that take into account resource limitations. Under the view that a KB is completely characterized by the set of beliefs ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2008
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-008-9087-1